Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
641	University of Scranton ACM Student Chapter / Computing Sciences Department 19th Annual High School Programming Contest (2009) -----------------------------------------------------------------------------Problem 1: Fibona Add to Reading List Source URL: www.cs.uofs.edu Language: English - Date: 2009-12-01 18:14:21 Deterministic finite automaton Mathematics Applied mathematics Nondeterministic finite automaton Finite-state machine Fibonacci number Sequence Rope Automata theory Models of computation Computer science
642	Creating an AI modeling application for designers and developers Ryan Houlette, Daniel Fu, Randy Jensen Stottler Henke* ABSTRACT Simulation developers often realize an entity’s AI by writing a program that exhibits the Add to Reading List Source URL: www.stottlerhenke.com Language: English - Date: 2003-04-30 16:55:28 Human behavior Agent-based model Simulation Intelligent agent Knowledge Science Models of computation Artificial intelligence Behavior
643	A theory of restrictions for logics and automata Nils Klarlund AT&T Labs{Research ([removed]) Abstract. BDDs and their algorithms implement a decision procedure for Quantied Propositional Logic. BDDs are Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:50:50 Models of computation Predicate logic Automata theory Model theory Philosophical logic Denotational semantics First-order logic Formal language Second-order logic Logic Mathematical logic Mathematics
644	Copyright and use of this thesis This thesis must be used in accordance with the provisions of the Copyright Act[removed]Reproduction of material protected by copyright may be an infringement of copyright and copyright own Add to Reading List Source URL: ses.library.usyd.edu.au Language: English - Date: 2015-04-07 10:06:04 Quantum information science Quantum measurement Models of computation Quantum computer Quantum cryptography Qubit Topological order Quantum circuit Quantum decoherence Physics Quantum mechanics Theoretical computer science
645	PerfXplain: Debugging MapReduce Job Performance Nodira Khoussainova, Magdalena Balazinska, and Dan Suciu Department of Computer Science and Engineering, University of Washington, Seattle, WA, USA {nodira, magda, suciu}@c Add to Reading List Source URL: vldb.org Language: English - Date: 2012-03-24 02:44:28 Distributed computing architecture MapReduce Parallel computing Models of computation Information retrieval Internet search Join Apache Hadoop Predicate Computing Concurrent computing Information science
646	Nik Boyd Copyright 2004 Nikolas S. Boyd. All rights reserved. State Names Add to Reading List Source URL: educery.com Language: English - Date: 2005-07-08 01:55:48 Models of computation Finite-state machine Automated teller machine Identifier Business Electronics Technology Automata theory Digital electronics
647	INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE[removed]Motif Statistics Pierre NICODE ME, Bruno SALVY, Philippe FLAJOLET Add to Reading List Source URL: algo.inria.fr Language: English - Date: 1999-05-18 12:04:41 Computer science Applied mathematics Deterministic finite automaton Nondeterministic finite automaton Generating function Markov chain Probability-generating function Computability Finite-state machine Automata theory Models of computation Theoretical computer science
648	Object Closure Conversion ∗ Neal Glew Cornell University 24 August[removed]Abstract Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-08-25 13:13:33 Computer science Computability theory Lambda calculus Programming language semantics Denotational semantics Orbifold Theoretical computer science Models of computation Applied mathematics
649	Increasing Interaction and Support in the Formal Languages and Automata Theory Course∗ [Extended Abstract] Susan H. Rodger Jinghui Lim Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2007-04-07 14:47:47 Applied mathematics Mathematics Finite-state machine Pumping lemma for regular languages Theory of computation Mealy machine Moore machine Logic Formal grammar Models of computation Automata theory Formal languages
650	Turning Automata Theory into a Hands-on Course ∗ Susan H. Rodger Bart Bressler Thomas Finley Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2006-02-24 16:07:36 Automata theory Turing machine Computer science Formal languages Deterministic finite automaton Finite-state machine Unrestricted grammar Nondeterministic finite automaton Pushdown automaton Theory of computation Models of computation Theoretical computer science

UPDATE